$\forall$$a$:$\mathbb{N}$, $n$:$\mathbb{N}^{+}$. ($a$ $<$ $n$) $\Rightarrow$ (($a$ rem $n$) = $a$ $\in$ $\mathbb{Z}$)